$\forall$$T$:Type, ${\it dT}$:EqDecider($T$), $L$:($T$ List), $x$:$T$. ($x$ $\in$ $L$) $\Rightarrow$ (index($L$;$x$) $\in$ \{0..$\parallel$$L$$\parallel^{-}$\})